Functioning Hardware from Functional Programs
نویسنده
چکیده
To provide high performance at practical power levels, tomorrow’s chips will have to consist primarily of application-specic logic that is only powered on when needed. is paper discusses synthesizing such logic from the functional language Haskell. e proposed approach, which consists of rewriting steps that ultimately dismantle the source program into a simple dialect that enables a syntax-directed translation to hardware, enables aggressive parallelization and the synthesis of application-specic distributed memory systems. Transformations include scheduling arithmetic operations onto specic data paths, replacing recursionwith iteration, and improving data locality by inlining recursive types. A compiler based on these principles is under development. 1 Functional Programs to Hardware 3 2 Implementing Algebraic Datatypes in Hardware 5 3 Arithmetic and Hardware Datapaths 7 4 Recursion and Memory 11 5 Inlining Code and Recursive Types 15
منابع مشابه
Effectiveness and feasibility of early physical rehabilitation programs for geriatric hospitalized patients: a systematic review
BACKGROUND Old adults admitted to the hospital are at severe risk of functional loss during hospitalization. Early in-hospital physical rehabilitation programs appear to prevent functional loss in geriatric patients. The first aim of this review was to investigate the effect of early physical rehabilitation programs on physical functioning among geriatric patients acutely admitted to the hospit...
متن کاملCompiler-based vs. Hardware-based Power Gating Techniques for Functional Units
Abstract—Reducing leakage power of embedded systems is essential as it constitutes an increasing fraction of the total power consumption in modern embedded processors. Power gating of functional units has been proved to be an effective technique to reduce leakage, and its various implementations can be categorized into compiler-based and hardware-based approaches. Hardware-only designs rely on ...
متن کاملWHO's ICF and Functional Status Information in Health Records
A common framework for describing functional status information (FSI) in health records is needed in order to make this information comparable and of value. The World Health Organization's (WHO's) International Classification of Functioning, Disability and Health (ICF), which has been approved by all its member States, provides this common language and framework. The biopsychosocial model of fu...
متن کاملIs emotion processing a predictor of functional outcome in schizophrenia?
Deficits in the ability to perceive facial and vocal emotion expression are common in schizophrenia. However, relatively little is known about how such deficits might affect functional outcomes. This prospective study examined cross-sectional and longitudinal relationships between perception of emotion and aspects of psychosocial functioning, including family relationships, social relationships...
متن کاملHardware-Software Codesign of Multidimensional Programs
We present a method for parametrised partitioning of multidimensional programs for acceleration using a hardware coprocessor. The method involves a divide-andconquer structure, with the “divide” and “merge” phases carried out by a general-purpose processor while the “conquer” phase is handled by application-specific hardware. The partitioning strategy has been captured in a simple functional la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013